Main entry: Pascal, Blaise Pascal
Definition: French mathematician and philosopher and Jansenist; invented an adding machine; contributed (with Fermat) to the theory of probability (1623-1662)